Purandar Bhaduri: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An application of compiler technology to the year 2000 problem

Mangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal

Journal:

Software: Practice and Experience

Year:

1999

Language:

english

File:

PDF, 137 KB

english, 1999

2

Verification of Scenario-based Specifications using Templates

Girish Keshav Palshikar, Purandar Bhaduri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 338 KB

english, 2005

3

Formal Techniques for Analysing Scenarios using Message Sequence Charts

Purandar Bhaduri, R. Venkatesh, Girish K. Palshikar

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 197 KB

english, 2002

4

Interface synthesis and protocol conversion

Purandar Bhaduri, S. Ramesh

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 402 KB

english, 2008

5

Performance modeling and evaluation of IEEE 802.11 IBSS power save mode

Swain, Pravati, Chakraborty, Sandip, Nandi, Sukumar, Bhaduri, Purandar

Journal:

Ad Hoc Networks

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

6

[IEEE 2013 IEEE Conference on Computer Aided Control System Design (CACSD) - Hyderabad, India (2013.08.28-2013.08.30)] 2013 IEEE Conference on Computer Aided Control System Design (CACSD) - Characterizing feedback signal drop patterns in formal verification of networked control systems

Goswami, Dip, Chakraborty, Samarjit, Bhaduri, Purandar, Mitter, Sanjoy K.

Year:

2013

Language:

english

File:

PDF, 4.17 MB

english, 2013

7

[IEEE 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES) - Porto (2013.06.19-2013.06.21)] 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES) - Real-time scheduling interfaces and contracts for the design of distributed embedded systems

Stierand, Ingo, Reinkemeier, Philipp, Gezgin, Tayfun, Bhaduri, Purandar

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

8

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - A proposal for real-time interfaces in SPEEDS

Bhaduri, Purandar, Stierand, Ingo

Year:

2010

Language:

english

File:

PDF, 205 KB

english, 2010

9

[IEEE 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Kaohsiung, Taiwan (2008.08.25-2008.08.27)] 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus

Chokshi, Devesh B., Bhaduri, Purandar

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

10

Performance Modeling and Analysis of IEEE 802.11 IBSS PSM in Different Traffic Conditions

Swain, Pravati, Chakraborty, Sandip, Nandi, Sukumar, Bhaduri, Purandar

Journal:

IEEE Transactions on Mobile Computing

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

11

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Performance analysis of IEEE 802.11 IBSS power save mode using a discrete-time markov model

Swain, Pravati, Chakraborty, Sandip, Nandi, Sukumar, Bhaduri, Purandar

Year:

2012

Language:

english

File:

PDF, 470 KB

english, 2012

12

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Performance analysis of FlexRay-based systems using real-time calculus, revisited

Chokshi, Devesh B., Bhaduri, Purandar

Year:

2010

Language:

english

File:

PDF, 436 KB

english, 2010

13

[IEEE 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Hong Kong, China (2015.8.19-2015.8.21)] 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications - Reconfigurable Communication Middleware for Flex Ray-Based Distributed Embedded Systems

Majumdar, Diptesh, Zhang, Licong, Bhaduri, Purandar, Chakraborty, Samarjit

Year:

2015

Language:

english

File:

PDF, 300 KB

english, 2015

14

SPIE Proceedings [SPIE Photomask Japan '98 Symposium on Photomask and X-Ray Mask Technology V - Kawasaki City, Japan (Thursday 9 April 1998)] Photomask and X-Ray Mask Technology V - Formal specification and verification of hardware designs

Ramesh, S., Rao, S.S.S.P, Sivakumar, G., Bhaduri, Purandar, Aizaki, Naoaki

Year:

1998

Language:

english

File:

PDF, 297 KB

english, 1998

15

Probabilistic model checking of IEEE 802.11 IBSS power save mode

Swain, Pravati, Bhaduri, Purandar, Nandi, Sukumar

Journal:

International Journal of Wireless and Mobile Computing

Year:

2014

Language:

english

File:

PDF, 981 KB

english, 2014

16

Time-Triggered Scheduling of Mixed-Criticality Systems

Behera, Lalatendu, Bhaduri, Purandar

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2017

Language:

english

File:

PDF, 1.11 MB

english, 2017

17

over possibly non-halting programs and tests

Panicker, Gayatri, Krishna, K. V., Bhaduri, Purandar

Journal:

International Journal of Algebra and Computation

Year:

2017

Language:

english

File:

PDF, 290 KB

english, 2017

18

Monoids of non-halting programs with tests

Panicker, Gayatri, Krishna, K. V., Bhaduri, Purandar

Journal:

Algebra Universalis

Year:

2018

Language:

english

File:

PDF, 620 KB

english, 2018

19

Translation Validation of Code Motion Transformations Involving Loops

Chouksey, Ramanuj, Karfa, Chandan, Bhaduri, Purandar

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2018

Language:

english

File:

PDF, 379 KB

english, 2018

20

An energy-efficient time-triggered scheduling algorithm for mixed-criticality systems

Behera, Lalatendu, Bhaduri, Purandar

Journal:

Design Automation for Embedded Systems

Year:

2019

File:

PDF, 938 KB

2019

21

On the structure of C-algebras through atomicity and if-then-else

Panicker, Gayatri, Krishna, K. V., Bhaduri, Purandar

Journal:

Algebra Universalis

Year:

2020

File:

PDF, 473 KB

2020

22

Counter-example generation procedure for path-based equivalence checkers

Chouksey, Ramanuj, Karfa, Chandan, Banerjee, Kunal, Kalita, Pankaj Kumar, Bhaduri, Purandar

Journal:

Year:

2019

File:

PDF, 1.67 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски